Jim Grundy: шукати на сайті Z-Library

Найбільша колекція наукових статей у сіті. 70,000,000+ безкоштовних статей.

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги
Статті (66)
Найпопулярніші
Перелік
- Перелік
- Таблиця

Collaborative Software Engineering || The Configuration Management Role in Collaborative Software Engineering

Mistrík, Ivan, Grundy, John, Hoek, André, Whitehead, Jim

Рік:

2010

Мова:

english

Файл:

PDF, 594 KB

english, 2010

Collaborative Software Engineering ||

Mistrík, Ivan, Grundy, John, Hoek, André, Whitehead, Jim

Рік:

2010

Мова:

english

Файл:

PDF, 6.79 MB

english, 2010

[IEEE 2013 Formal Methods in Computer-Aided Design (FMCAD) - Portland, OR (2013.10.20-2013.10.23)] 2013 Formal Methods in Computer-Aided Design - Formal co-validation of low-level hardware/software interfaces

Horn, Alex, Tautschnig, Michael, Val, Celina, Liang, Lihao, Melham, Tom, Grundy, Jim, Kroening, Daniel

Рік:

2013

Мова:

english

Файл:

PDF, 212 KB

english, 2013

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1479 || A comparison of PVS and Isabelle/HOL

Grundy, Jim, Newey, Malcolm

Рік:

1998

Мова:

english

Файл:

PDF, 1.20 MB

english, 1998

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1125 || A comparison of HOL and ALF formalizations of a categorical coherence theorem

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John

Рік:

1996

Мова:

english

Файл:

PDF, 811 KB

english, 1996

Key issues relating to decentralization at the provincial level of health management in Cambodia

Bunnan Men, John Grundy, Jeff Cane, Lon Chan Rasmey, Nguon Sim An, Sann Chan Soeung, Karl Jenkinson, Marian Boreland, Jim Maynard, Beverley-Ann Biggs

Журнал:

The International Journal of Health Planning and Management

Рік:

2005

Мова:

english

Файл:

PDF, 281 KB

english, 2005

Characteristics and survival of 750 children diagnosed with a renal tumor in the first seven months of life: A collaborative study by the SIOP/GPOH/SFOP, NWTSG, and UKCCSG Wilms tumor study groups

Marry M. van den Heuvel-Eibrink, Paul Grundy, Norbert Graf, Kathy Pritchard-Jones, Christophe Bergeron, Catherine Patte, Harm van Tinteren, Annie Rey, Carolyn Langford, Jim R. Anderson, Jan de Kraker

Журнал:

Pediatric Blood & Cancer

Рік:

2008

Мова:

english

Файл:

PDF, 131 KB

english, 2008

Structured calculational proof

Ralph Back, Jim Grundy, Joakim von Wright

Журнал:

Formal Aspects of Computing

Рік:

1997

Мова:

english

Файл:

PDF, 895 KB

english, 1997

Synthesizable High Level Hardware Descriptions

Jennifer Gillenwater, Gregory Malecha, Cherif Salama, Angela Yun Zhu, Walid Taha, Jim Grundy, John O’leary

Журнал:

New Generation Computing

Рік:

2010

Мова:

english

Файл:

PDF, 844 KB

english, 2010

Tool Building Requirements for an API to First-Order Solvers

Jim Grundy, Tom Melham, Sava Krstić, Sean McLaughlin

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2006

Мова:

english

Файл:

PDF, 207 KB

english, 2006

Static consistency checking for Verilog wire interconnects

Salama, Cherif, Malecha, Gregory, Taha, Walid, Grundy, Jim, O’Leary, John

Журнал:

Higher-Order and Symbolic Computation

Рік:

2011

Мова:

english

Файл:

PDF, 953 KB

english, 2011

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1479 || Formalization of graph search algorithms and its applications

Grundy, Jim, Newey, Malcolm

Рік:

1998

Мова:

english

Файл:

PDF, 941 KB

english, 1998

[IEEE 2011 IEEE 20th Asian Test Symposium (ATS) - New Delhi, India (2011.11.20-2011.11.23)] 2011 Asian Test Symposium - An Efficient 2-Phase Strategy to Achieve High Branch Coverage

Prabhu, Sarvesh, Hsiao, Michael S., Krishnamoorthy, Saparya, Lingappan, Loganathan, Gangaram, Vijay, Grundy, Jim

Рік:

2011

Мова:

english

Файл:

PDF, 577 KB

english, 2011

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1125 || Using lattice theory in higher order logic

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John

Рік:

1996

Мова:

english

Файл:

PDF, 792 KB

english, 1996

Collaborative Software Engineering || Softwares Product Lines, Global Development and Ecosystems: Collaboration in Software Engineering

Mistrík, Ivan, Grundy, John, Hoek, André, Whitehead, Jim

Рік:

2010

Мова:

english

Файл:

PDF, 449 KB

english, 2010

Collaborative Software Engineering || A Comparison of Commonly Used Processes for Multi-Site Software Development

Mistrík, Ivan, Grundy, John, Hoek, André, Whitehead, Jim

Рік:

2010

Мова:

english

Файл:

PDF, 846 KB

english, 2010

[ACM Press the 2009 ACM SIGPLAN workshop - Savannah, GA, USA (2009.01.19-2009.01.20)] Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation - PEPM '09 - Static consistency checking for verilog wire interconnects

Salama, Cherif, Malecha, Gregory, Taha, Walid, Grundy, Jim, O'Leary, John

Рік:

2008

Мова:

english

Файл:

PDF, 549 KB

english, 2008

[ACM Press the 2008 ACM SIGPLAN symposium - San Francisco, California, USA (2008.01.07-2008.01.08)] Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '08 - Synthesizable high level hardware descriptions

Gillenwater, Jennifer, Malecha, Gregory, Salama, Cherif, Zhu, Angela Yun, Taha, Walid, Grundy, Jim, O'Leary, John

Рік:

2008

Мова:

english

Файл:

PDF, 239 KB

english, 2008

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1479 || Formalizing Dijkstra

Grundy, Jim, Newey, Malcolm

Рік:

1998

Мова:

english

Файл:

PDF, 982 KB

english, 1998

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1479 || Object-oriented verification based on record subtyping in Higher-Order Logic

Grundy, Jim, Newey, Malcolm

Рік:

1998

Мова:

english

Файл:

PDF, 1.03 MB

english, 1998

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1479 || Formalizing basic first order model theory

Grundy, Jim, Newey, Malcolm

Рік:

1998

Мова:

english

Файл:

PDF, 967 KB

english, 1998

A reflective functional language for hardware design and theorem proving

GRUNDY, JIM, MELHAM, TOM, O'LEARY, JOHN

Журнал:

Journal of Functional Programming

Рік:

2005

Мова:

english

Файл:

PDF, 289 KB

english, 2005

[IEEE 2013 Formal Methods in Computer-Aided Design (FMCAD) - Portland, OR (2013.10.20-2013.10.23)] 2013 Formal Methods in Computer-Aided Design - Firmware validation: challenges and opportunities

Grundy, Jim

Рік:

2013

Мова:

english

Файл:

PDF, 25 KB

english, 2013

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1125 || Coq and hardware verification: A case study

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John

Рік:

1996

Мова:

english

Файл:

PDF, 732 KB

english, 1996

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1125 || Program derivation using the refinement calculator

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John

Рік:

1996

Мова:

english

Файл:

PDF, 802 KB

english, 1996

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1479 || Formal specification and theorem proving breakthroughs in geometric modeling

Grundy, Jim, Newey, Malcolm

Рік:

1998

Мова:

english

Файл:

PDF, 1.29 MB

english, 1998

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1125 || Improving the result of high-level synthesis using interactive transformational design

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John

Рік:

1996

Мова:

english

Файл:

PDF, 781 KB

english, 1996

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1125 || A mechanisation of computability theory in HOL

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John

Рік:

1996

Мова:

english

Файл:

PDF, 753 KB

english, 1996

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1125 || A modular coding of UNITY in COQ

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John

Рік:

1996

Мова:

english

Файл:

PDF, 707 KB

english, 1996

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1479 || Generating embeddings from denotational descriptions

Grundy, Jim, Newey, Malcolm

Рік:

1998

Мова:

english

Файл:

PDF, 1.09 MB

english, 1998

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1479 || Proving isomorphism of first-order logic proof systems in HOL

Grundy, Jim, Newey, Malcolm

Рік:

1998

Мова:

english

Файл:

PDF, 1.03 MB

english, 1998

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1479 || Verifying a garbage collection algorithm

Grundy, Jim, Newey, Malcolm

Рік:

1998

Мова:

english

Файл:

PDF, 1.10 MB

english, 1998

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1125 || Proving liveness of fair transition systems

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John

Рік:

1996

Мова:

english

Файл:

PDF, 966 KB

english, 1996

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1125 || Set theory, higher order logic or both?

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John

Рік:

1996

Мова:

english

Файл:

PDF, 644 KB

english, 1996

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1125 || Five axioms of alpha-conversion

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John

Рік:

1996

Мова:

english

Файл:

PDF, 827 KB

english, 1996

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1479 || The village telephone system: A case study in formal software engineering

Grundy, Jim, Newey, Malcolm

Рік:

1998

Мова:

english

Файл:

PDF, 1.10 MB

english, 1998

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1125 || Modeling a hardware synthesis methodology in isabelle

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John

Рік:

1996

Мова:

english

Файл:

PDF, 992 KB

english, 1996

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1479 || Exploiting parallelism in interactive theorem provers

Grundy, Jim, Newey, Malcolm

Рік:

1998

Мова:

english

Файл:

PDF, 824 KB

english, 1998

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1125 || A proof tool for reasoning about functional programs

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John

Рік:

1996

Мова:

english

Файл:

PDF, 765 KB

english, 1996

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1479 || Adding external decision procedures to HOL90 securely

Grundy, Jim, Newey, Malcolm

Рік:

1998

Мова:

english

Файл:

PDF, 637 KB

english, 1998

An open-source platform for analyzing and sharing worm-behavior data

Javer, Avelino, Currie, Michael, Lee, Chee Wai, Hokanson, Jim, Li, Kezhi, Martineau, Céline N., Yemini, Eviatar, Grundy, Laura J., Li, Chris, Ch’ng, QueeLim, Schafer, William R., Nollen, Ellen A. A.,

Журнал:

Nature Methods

Рік:

2018

Мова:

english

Файл:

PDF, 937 KB

english, 2018

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1479 || Extending window inference

Grundy, Jim, Newey, Malcolm

Рік:

1998

Мова:

english

Файл:

PDF, 845 KB

english, 1998

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1479 || Verified lexical analysis

Grundy, Jim, Newey, Malcolm

Рік:

1998

Мова:

english

Файл:

PDF, 746 KB

english, 1998

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1479 || Hot: A concurrent automated theorem prover based on higher-order tableaux

Grundy, Jim, Newey, Malcolm

Рік:

1998

Мова:

english

Файл:

PDF, 928 KB

english, 1998

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1125 || Elements of mathematical analysis in PVS

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John

Рік:

1996

Мова:

english

Файл:

PDF, 810 KB

english, 1996

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1125 || Towards applying the composition principle to verify a microkernel operating system

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John

Рік:

1996

Мова:

english

Файл:

PDF, 920 KB

english, 1996

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1125 || A structure preserving encoding of Z in isabelle/HOL

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John

Рік:

1996

Мова:

english

Файл:

PDF, 867 KB

english, 1996

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1479 || Co-inductive axiomatization of a synchronous language

Grundy, Jim, Newey, Malcolm

Рік:

1998

Мова:

english

Файл:

PDF, 697 KB

english, 1998

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1479 || Case studies in meta-level theorem proving

Grundy, Jim, Newey, Malcolm

Рік:

1998

Мова:

english

Файл:

PDF, 1010 KB

english, 1998

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1479 || Program abstraction in a higher-order logic framework

Grundy, Jim, Newey, Malcolm

Рік:

1998

Мова:

english

Файл:

PDF, 806 KB

english, 1998